es-bact{i:l}
es-bact(ds; da; a; es; n; e1; e2)
== case TERMOF{decidable ecl-es-act:ObjectId, 1:l, i:l}
== case (ds
== case ,da
== case ,a
== case ,es
== case ,loc(e1)
== case ,x.axiom
== case ,x,y. axiom
== case ,n
== case ,e1
== case ,e2)
== of inl(x) => tt
== o| inr(x) => ff 

latex

---

clarification:

es-bact{i:l}
es-bact(ds; da; a; es; n; e1; e2)
== case TERMOF{decidable ecl-es-act:ObjectId, 1:l, i:l}
== case (ds
== case ,da
== case ,a
== case ,es
== case ,es-loc(es; e1)
== case ,x.axiom
== case ,x,y. axiom
== case ,n
== case ,e1
== case ,e2)
== of inl(x) => tt
== o| inr(x) => ff 

latex

Definitions	es-bact{i:l}(ds; da; a; es; n; e1; e2), decidable ecl-es-act, loc(e), tt, ff
FDL editor aliases	es-bact